Buy Used and New Peter Dybjer Books

Category Theory and Computer Science: Manchester, UK, September 5-8, 1989. Proceedings: 389 (Lecture Notes in Computer Science)

by Peter Dybjer,Andrew M. Pitts,Axel Poigne,David E. Rydeheard,David H. Pitt

ISBN 13: 9783540516620

Format: Paperback (380 pages)
Publisher: Springer
Published: 23 Aug 1989

Save for later

Types for Proofs and Programs: International Workshop, TYPES'99 Lökeberg, Sweden, June 12-16, 1999 Selected Papers: 1956 (Lecture Notes in Computer Science)

by Thierry Coquand,Peter Dybjer,Jan Smith,Bengt Nordström

ISBN 13: 9783540415176

Format: Paperback (208 pages)
Publisher: Springer
Published: 22 Feb 2009

Save for later